See sequentially compact on Wiktionary
{ "head_templates": [ { "args": { "1": "-" }, "expansion": "sequentially compact (not comparable)", "name": "en-adj" } ], "lang": "English", "lang_code": "en", "pos": "adj", "senses": [ { "categories": [ { "kind": "other", "name": "English entries with incorrect language header", "parents": [ "Entries with incorrect language header", "Entry maintenance" ], "source": "w" }, { "kind": "other", "name": "Entries with translation boxes", "parents": [], "source": "w" }, { "kind": "other", "name": "Pages with 1 entry", "parents": [], "source": "w" }, { "kind": "other", "name": "Pages with entries", "parents": [], "source": "w" }, { "kind": "other", "name": "Terms with Finnish translations", "parents": [], "source": "w" }, { "kind": "topical", "langcode": "en", "name": "Topology", "orig": "en:Topology", "parents": [ "Mathematics", "Formal sciences", "Sciences", "All topics", "Fundamental" ], "source": "w" } ], "glosses": [ "Such that every sequence in the space has a convergent subsequence. In a metric space, this is equivalent to being compact (sense 4.1)." ], "id": "en-sequentially_compact-en-adj-wIIyZ~Yj", "links": [ [ "topology", "topology" ], [ "sequence", "sequence" ], [ "convergent", "convergent" ], [ "subsequence", "subsequence" ], [ "metric space", "metric space" ], [ "equivalent", "equivalent" ], [ "compact", "compact" ] ], "raw_glosses": [ "(topology, of a topological space) Such that every sequence in the space has a convergent subsequence. In a metric space, this is equivalent to being compact (sense 4.1)." ], "raw_tags": [ "of a topological space" ], "tags": [ "not-comparable" ], "topics": [ "mathematics", "sciences", "topology" ], "translations": [ { "code": "fi", "lang": "Finnish", "sense": "topology: every sequence in the space has a convergent subsequence", "word": "jonokompakti" } ], "wikipedia": [ "sequentially compact" ] } ], "word": "sequentially compact" }
{ "head_templates": [ { "args": { "1": "-" }, "expansion": "sequentially compact (not comparable)", "name": "en-adj" } ], "lang": "English", "lang_code": "en", "pos": "adj", "senses": [ { "categories": [ "English adjectives", "English entries with incorrect language header", "English lemmas", "English multiword terms", "English uncomparable adjectives", "Entries with translation boxes", "Pages with 1 entry", "Pages with entries", "Terms with Finnish translations", "en:Topology" ], "glosses": [ "Such that every sequence in the space has a convergent subsequence. In a metric space, this is equivalent to being compact (sense 4.1)." ], "links": [ [ "topology", "topology" ], [ "sequence", "sequence" ], [ "convergent", "convergent" ], [ "subsequence", "subsequence" ], [ "metric space", "metric space" ], [ "equivalent", "equivalent" ], [ "compact", "compact" ] ], "raw_glosses": [ "(topology, of a topological space) Such that every sequence in the space has a convergent subsequence. In a metric space, this is equivalent to being compact (sense 4.1)." ], "raw_tags": [ "of a topological space" ], "tags": [ "not-comparable" ], "topics": [ "mathematics", "sciences", "topology" ], "wikipedia": [ "sequentially compact" ] } ], "translations": [ { "code": "fi", "lang": "Finnish", "sense": "topology: every sequence in the space has a convergent subsequence", "word": "jonokompakti" } ], "word": "sequentially compact" }
Download raw JSONL data for sequentially compact meaning in All languages combined (1.3kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-12-03 from the enwiktionary dump dated 2024-11-21 using wiktextract (94ba7e1 and 5dea2a6). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.